1. Code generation, analysis tools, and testing for quality /
پدیدآورنده : [edited by] Ricardo Alexandre Peixoto de Queiros, Alberto Simoes, Mario Teixeira Pinto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automatic programming (Computer science),Computer programs-- Testing.,Computer software-- Quality control.,Automatic programming (Computer science),Computer programs-- Testing.,Computer software-- Quality control.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
T48
C63
2019eb
2. Studies in automatic programming logic
پدیدآورنده : Manna, Zohar.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Automatic programming )Computer science(,، Computer programs
رده :
QA
76
.
6
.
M357
